These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...
WeiterlesenThis book constitutes the refereed proceedings of the 9th International Conference on Mathematics of Program Construction, ...
WeiterlesenThis book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, ...
Weiterlesen